The overriding objective
نویسندگان
چکیده
منابع مشابه
Overriding Subsuming Rules
This paper is concerned with intelligent agents that are able to perform nonmonotonic reasoning, not only with, but also about general rules with exceptions. More precisely, the focus is on enriching a knowledge base Γ with a general rule that is subsumed by another rule already there. Such a problem is important because evolving knowledge needs not follow logic as it is well-known from e.g. th...
متن کاملOptimizing the Computation of Overriding
We introduce optimization techniques for reasoning in DL–a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitud...
متن کاملThe Axiomatization of Overriding and Update^
There are only very few natural ways in which arbitrary functions can be combined. One composition operator is override: for arbitrary functions f and g, f > g is the function with domain dom( f) U dom(g) that behaves like f on dom( f) and like g on dom(g) \ dom( f ) . Another operator is update: f[g] has the same domain as f, behaves like f on dom( f) \ dom(g), and like g on dom( f) n dom(g). ...
متن کاملProbabilistic Logic Programming under Inheritance with Overriding Probabilistic Logic Programming under Inheritance with Overriding
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze t...
متن کاملThe treatment of hallux valgus with overriding second toe.
effusion in either child (Fig. 2) but needle aspirations subsequently demonstrated intracapsular blood under pressure . Following decompression, hip movements became much freer and the hips were radiographically reduced (Fig. lb). Discussion. Plain radiographs have been shown to be less accurate than ultrasound examination in the detection of hip effusion (Peck 1986); thus it has been suggested...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: British Dental Journal
سال: 2015
ISSN: 0007-0610,1476-5373
DOI: 10.1038/sj.bdj.2015.304